“如果p,则q”与“只有q,才p”这两个判断形式,它们含有（）

• A、相同的逻辑常项,相同的变项
• B、不同的逻辑常项，相同的变项
• C、相同的逻辑常项,不同的变项
• D、不同的逻辑常项,不同的变项

“所有民主国家都不是非宗教国家。”这一判断是（）

• A、全称肯定判断
• B、全称否定判断
• C、特称肯定判断
• D、特称否定判断

有a、b、c三类，已知①a真包含于b；②c与b交叉；试证a与c的关系。